В статье описывается программный комплекс, обеспечивающий имитационное моделирование сценариев развития малых инновационных предприятий. Отличительной особенностью представленного решения является возможность определения точек принятия решений о структурных преобразованиях и использование «обратного» прогнозирования для определения исходных условий.
В настоящей работе рассматривается проблема автоматизированного поиска уязвимостей в исполняемом коде. В работе проводится анализ проблематики, и выделяются недостатки существующих решений, в части отсутствия возможности обнаружения уязвимостей с учётом тех угроз, которые они несут для защищаемой информации, которая обрабатывается в ПО. Для решения этой проблемы предлагается оригинальная модель автоматизированного поиска уязвимостей в трассе программы, её алгоритмическое обеспечение и программная реализация. В рамках модели приводятся формальные критерии отнесения ошибки к уязвимости с учётом распределения защищаемой информации в памяти программы. Для выделения участков памяти с защищаемой информацией в работе используется методика анализа помеченных данных. Кроме того приводится экспериментальная оценка эффективности разработанного программного комплекса, которая показала, что разработанное решение позволяет детектировать на 5 типов уязвимостей больше в ОС Windows и на 4 типа уязвимостей больше в Linux по сравнению с существующими аналогами. Все модули разработанного комплекса были опубликованы как ПО с открытым исходным кодом, могут свободно использоваться в других проектах и доступны для скачивания в Интернете.
Анализируется методика оценки надежности сложных структур, не сводящихся к последовательно-параллельному соединению элементов. В случае, когда элементы системы могут находиться в трех несовместных состояниях – работоспособном, отказ типа «Обрыв» и «Замыкание», существует необходимость и возможность раздельного вычисления вероятностей отказа системы по «Обрыву» и по «Замыканию». Показано, что описанная методика оценки надежности может быть использована для структур любой сложности при весьма слабых ограничениях. Приведены примеры ортогонализации логических функций с учетом несовместности отдельных переменных. Корректность методики подтверждается решением задач методом полного перебора. Автоматизированное моделирование надежности мостиковой структуры и структуры двух «звезд», включенных на «треугольник», выполнено с использованием программного комплекса АРБИТР, в котором программно реализована алгебра несовместных событий.
Рассмотрен класс задач, при решении которых необходимо оценивать результаты функционирования (эффекты) организационно-технических систем. Показана необходимость решения задачи автоматизации построения комплекса моделей организационно-технических систем и процессов их функционирования для последующего использования построенных моделей при оценивании эффектов. Выполнена формализация задачи, предложена концепция ее решения на основе использования трансформаций теоретико-графовых моделей. Предложен пример решения задачи. Рассмотрены перспективные направления дальнейших исследований.
1 - 4 из 4 результатов